Reusing dialysers.

Mortality and morbidity of reusing dialysers.

9 Grundy, S M, Ahrens, E H, and Davignon, J, Journal of Lipid Research, 1969, 10, 304. 10 Bell, G D, et al, Gut, 1972, 13, 836. 11 Maudgal, D P, and Northfield, T C, Gut, 1976, 17, 815. 12 Iser, J H, Murphy, G M, and Dowling, R H, Gut, 1977, 18, 7. 13 Pomare, E W, et al, American Journal of Digestive Diseases, 1976, 21, 522. 14 Grundy, S M,Jtournal of Clinical Investigation, 1975, 55, 269. 15 R...

Formaldehyde sterilization for dialysers.

Reusing Proofs

1 We develop a learning component for a theorem prover designed for verifying statements by mathematical induction. If the prover has found a proof, it is analyzed yielding a so-called catch. The catch provides the features of the proof which are relevant for reusing it in subsequent verification tasks and may also suggest useful lemmata. Proof analysis techniques for computing the catch are pr...

Reusing Ontologies

Ontology reuse is turning into an important research issue in the ontology field. Ontology reuse can be seen from two points of view: (1) assembling, extending, specializing, adapting other ontologies which are parts of the resulting ontology, or (2) merging different ontologies on the same or similar subject into a single one that unifies all of them. The first kind of reuse is named integrati...

Reusing Families Design

Designing the detailed architecture of a style or of an architectural family is a difficult task. However, it offers great benefits for the product architectures detailed design based on this style or family. The present work proposes a meta-model for the development of applications with layered architectural style and distributed with the middleware CORBA (Common Object Request Broker Architec...